# !/bin/bash

echo "$(date)------- 开始关闭执行器服务 --------"
server_pid=$(netstat -anp|grep 15001|awk '{printf $7}'|cut -d/ -f1)
echo "$(date)-pid: $server_pid"
if [ "$server_pid" == "" ]
  then
    echo "$(date)------- 成功关闭执行器服务 --------"
 else
    echo "$(date)-TOMCAT PID: $server_pid"
    kill -9 "$server_pid"
    echo "$(date)------- 成功关闭执行器服务 --------"
fi
